Semiotic theory, which has restricted its focus largely to human forms of significations, is transformed by Robert S. Corrington into a semiotics of nature itself. Corrington situates the divide between "nature naturing" and "nature natured" within the contest of classical American pragmaticism and postmodern psychoanalysis. At the heart of this new metaphysics is an insistence that all signs participate in larger orders of meaning that are natural and religious. Meanings embodied in nature point beyond nature to the mystery inherent (...) in positioned codes and signs. (shrink)

Contemporary republicanism is characterized by three main ideas: free persons, who are not subject to the arbitrary power of others; free states, which try to protect their citizens from such power without exercising it themselves; and vigilant citizenship, as a means to limit states to their protective role. This book advances an economic model of such republicanism that is ideologically centre-left. It demands an exit-oriented state interventionism, one that would require an activist government to enhance competition and resource exit (...) from dominating relationships within markets of all types, be they marital, labour, or residential. The substantial intervention and redistribution necessitated by such an approach make it leftist, while its tendency to work with rather than against the grain of markets makes it centrist. It is, in short, a contribution to progressive republican political thought, but one that is less social-democratic than market-democratic in character. (shrink)

This essay offers an exegesis and critique of the moment of community formation in Agamben’s Homo Sacer Project. In The Sacrament of Language, Agamben searches for the site of a non-sovereign community founded upon the oath [horkos, sacramentum]: an ancient institution of language that produces and guarantees the connection between speech and the order of things by calling the god as a witness to the speaker’s fidelity. I argue that Agamben’s account ultimately falls short of subverting sovereignty, however, because the (...) sacramentum derives its power, at a fundamental level, from the ‘monothetic’ structure of truth—what Agamben calls ‘the name of God’ [il nome di Dio]. I propose we may yet salvage the oath as a means of subverting sovereignty, however, if we reconsider it in the context of polytheism, where the names of the gods [i nomi degli dei] can be many, while remaining powerful. First, through a reading of Aeschylus’ Eumenides, I argue that the Greeks understood the oath to function even where truth and falsity were inherently undecidable. Second, I argue that if we separate the truth and power functions interwoven in the sacramentum, we find a second formula, the decisory oath, which can be taken in order to produce a community even in the absence of one sovereign truth. As a kind of magical speech, the decisory oath provides the limit conditions for the possibility of distinguishing true from false in the sacramentum, and thus founds it. (shrink)

This volume addresses the issues of the Third Age--that time after retirement when financial stability and reduced obligations to others, together, allow for freedom--and good health makes it possible to enjoy that freedom. How, in this special time of life, is meaning and purpose to be found? And what alternatives are available? These difficult questions are responded to by scholars in the field of aging, some themselves in the Third Age.

This volume contains the English translation of Felix Kaufmann's (1895-1945) main work Methodenlehre der Sozialwissenschaften (1936). In this book, Kaufmann develops a general theory of knowledge of the social sciences in his role as a cross-border commuter between Husserl's phenomenology, Kelsen's pure theory of law and the logical positivism of the Vienna Circle. This multilayered inquiry connects the value-oriented reflections of a general philosophy of science with the specificity of the methods and theories of the social sciences, as opposed to (...) abstract natural science and psychology. The core focus of the study is the attempt to elucidate how and under what conditions scientific knowledge about social facts, empirically justified and theoretically embedded, can be obtained. The empirical basis of knowledge within the social sciences forms a phenomenological concept of experience. According to Kaufmann, this concept of experience exhibits a complex structure. Within the meaning-interpretation of human action as the core of knowledge in the social sciences, this structure reaches out across the isolated act of verification toward the synthesis of external and internal experiences. The book opens with a detailed and useful introduction by Ingeborg K. Helling, which introduces the historical and theoretical background of Kaufmann's study and specifically illuminates his relation to Alfred Schütz and John Dewey. Finally, it contains interviews with and letters to members of his family, colleagues and students. (shrink)

The republican tradition has long been ambivalent about markets and commercial society more generally: from the contrasting positions of Rousseau and Smith in the eighteenth century to recent neorepublican debates about capitalism, republicans have staked out diverse positions on fundamental issues of political economy. Rather than offering a systematic historical survey of these discussions, this chapter will instead focus on the leading neo-republican theory—that of Philip Pettit—and consider its implications for market society. As I will argue, Pettit’s theory is even (...) friendlier to markets than most have believed: far from condemning commercial society, his theory recognizes that competitive markets and their institutional preconditions are an alternative means to limit arbitrary power across the domestic, economic, and even political spheres. While most republican theorists have focused on political means to limit such power—including both constitutional means (e.g., separation of powers, judicial review, the rule of law, federalism) and participatory ones (democratic elections and oversight)—I will examine here an economic model of republicanism that can complement, substitute for, and at times displace the standard political model. Whether we look at spousal markets, labor markets, or residential markets within federal systems, state policies that heighten competition among their participants and resource exit from abusive relationships within them can advance freedom as non-domination as effectively or even more effectively than social-democratic approaches that have recently gained enthusiasts among republicans. These conclusions suggest that democracy, be it social or political, is just one means among others for restraining arbitrary power and is consequently less central to (certain versions of) republicanism than we may have expected. So long as they counteract domination, economic inroads into notionally democratic territory are no more worrisome than constitutional ones. (shrink)

Aristotle contends that in perception the sense organ is “made like” its object, but only “in a certain way.” Much controversy has surrounded these remarks, primarily about how to understand being “made like.” One camp has understood this to require literal exemplification, such that the sense organs manifest the sensible qualities of their objects. Others have understood likeness to require no physical alteration at all in the sense organs.I accept as a starting point in this paper that understanding perceptual likeness (...) in terms of exemplification is a non-starter. By doing so, however, I also reject the easiest and most direct understanding of what it means for the sense organs to be “made like” their objects. Others who have shared this assumption have suggested that likeness consists in “isomorphism.” Unfortunately, they have not adequately explicated how this notion is to be understood, with the result that Aristotle’s theory of perception remains crucially underdeveloped. I argue that the key is to understand the form of isomorphism at work in Aristotle’s account of thinking. (shrink)

Quentin Meillassoux’s After Finitude: An Essay on the Necessity of Contingency advocates a “speculative materialism” or what has come to be called “speculative realism” over against “correlationism” (his term for [nearly] all post-Kantian philosophy). “Correlationism” is “the idea according to which we only ever have access to the correlation between thinking and being, and never to either term considered apart from the other.” As part of his criticism of “correlationism,” Meillassoux argues that it necessarily leads to fideism, referencing the return (...) of the religious in contemporary phenomenology and the fundamentalist fanaticisms of contemporary religion to make his point. It is this criticism of “correlationism” that I will explore in this paper—in two ways. On the one hand, I argue that, at least in the work of thinkers like Nietzsche and Heidegger, what Meillassoux calls “correlationism” leads to faith in doubt rather than fideism. On the other hand, I argue that “correlationism” has resulted in fideism only to the extent that it follows Hegel and becomes speculative, which raises questions for Meillassoux’s own “speculative realism” and his faith in mathematics as the means to accessing reality in itself. (shrink)

Duhem regarded the history of physical science as carrying a twofold lesson for the practicing physicist. First, history revealed the slow, groping, yet continuous development of physical theory toward a true description of the relations among natural entities. Second, history also unmasked false explanations and metaphysical beliefs that might seduce the unwary scientist into following an unfruitful line of research. This paper brings forth the central images underlying Duhem's historiographical project and uses the papers by S. Menn and W. A. (...) Wallace to ask what Duhem's enterprise actually meant in practice. I argue that the main question is the following: What is to count as the proper space of historical meaning and explanation? Strong Duhemians, such as S. Menn, purchase the longue durée at the cost of making historical agents into completely passive transmitters of conceptual homologies; weak Duhemians, such as W. A. Wallace, shorten the temporal distance between agents and permit thereby a modicum of conflict and negotiation within physical theory while still seeking to preserve long-term conceptual genealogies. Both positions, it is argued, allow insufficient room for actors' categories to determine the space of cultural analysis. (shrink)

We prove (in ZFC Set Theory) that all infinite games whose winning sets are of the following forms are determined: (1) (A - S) ∪ B, where A is $\Pi^0_2, \bar\bar{S}, 2^{\aleph_0}$ , and the games whose winning set is B is "strongly determined" (meaning that all of its subgames are determined). (2) A Boolean combination of Σ 0 2 sets and sets smaller than the continuum. This also enables us to show that strong determinateness is not preserved under complementation, (...) improving a result of Morton Davis which required the continuum hypothesis to prove this fact. Various open questions related to the above results are discussed. Our main conjecture is that (2) above remains true when "Σ 0 2 " is replaced by "Borel". (shrink)

Formal axiology, as does every scientific system, stems from the unfolding of its axiom or axioms. The axiom of formal axiology is the following: Value is the degree in which a thing fulfills the attributes contained in the intension of its concept. "Fulfillment" means the possession by a thing of a set of properties corresponding to the set of attributes in the intension of its concept. A thing is good if it possesses all the properties in question. The development (...) of this axiom constitutes an axiological system, which establishes the dimensions of value, a hierarchy of value, a language of value and a logic of value. (shrink)

.The author summarizes the essential elements of a general theory he is developing which he calls “The Formal Character of Law.” He explains that law's formal character is a potentially major branch of legal theory that is still relatively unexplored. In his view, it is possible to identify formal attributes in legal rules, other basic legal constructs such as interpretive method, the principles of stare decisis, legal reasons, and legislative and adjudicative processes, and a legal system viewed as a whole. (...) For example, a legal rule has, in varying degrees, such formal attributes as generality, definiteness, and simplicity. Such attributes are formal in the sense that they apply to or accommodate highly variable content and do not prescribe or proscribe content. Of course, legal phenomena have other characteristics besides their formality. The author's main technique for developing his theory is to address a common set of questions to the varied formal attributes of , , and above. Among other things, the answers to these questions further explicate how law is formal, demonstrate that law is not merely a means of serving problem‐specific policy but also serves formal values , treats the relations between form and content—specially how good form begets good content and bad form bad content, explores the design and implementation of appropriate formality—its “anatomy and physiology,” and analyses the “pathology” of legal form including not only the “formalistic” , but also the “sub‐stantivistic,” and shows how the overall theory is important both jurisprudentially and in practical ways. (shrink)

Fundamental problems of the uses of formal techniques and of natural and instrumental practices have been raised again and again these past two decades, in many quarters and from varying viewpoints. We have brought a number of quite basic studies of these issues together in this volume, not linked con ceptually nor by any rigorously defined problematic, but rather simply some of the most interesting and even provocative of recent research accomplish ments. Most of these papers are derived from the (...) Boston Colloquium for the Philosophy of Science during 1973-80, the two exceptions being those of Karel Berka (on scales of measurement) and A. A. Zinov'ev (on a non-tradi tional theory of quantifiers). Just how intriguing these results (or conjectures?) seem to us may be seen from some brief quotations: (1) Judson Webb: ".... the abstract machine concept has many of the appropriate kinds of properties for modelling living, reproducing, rule following, self-reflecting, accident-prone, and lucky creatures... the a priori logical results relevant to the abstract machine concept, above all Godel's, could not conceivably have turned out any better for the mechanist. " (2) M. L. Dalla Chiara: "... modal interpretation (of quantum logic) shows clearly that it possesses a logical meaning which is quite independent of quantum mechanics. " (3) Isaac Levi: (as against Peirce and Popper) "... infallibilism is con sistent with corrigibilism, and a view which respects avoidance of error is an important desideratum for science. (shrink)

. The author aims at defining the borderlines of the concept “rule of law.” This has been often inflated to encompass several dimensions of an ideal legal order. The author on the contrary believes that the “rule of law” ought to be a “thin” ideal. As a matter of fact, when the “rule of law” signifies almost any dimension of an ideal legal order, it comes to stand for nothing essential in particular. Deflation is then advocated for the rehabilitation of (...) the normative content of the “rule of law.” This means that the “rule of law” should be defined as a concept covering only some well delimited dimensions of an ideal legal order. (shrink)

The author explains that there is scope for a general theory about the nature and place of form in the fundamentals of law. Form organizes the institutions, rules and other varieties of law, and the system as a whole. All such constructs have non‐formal elements, too, but form unifies each construct and provides its criteria of identity. Appropriate form makes a system of law possible. It also tends to beget good content in the law. It is indispensable to the basic (...) needs of a legal system, and when such an end is organizational, as with democracy, liberty, and the rule of law, form is end as well as means. (shrink)

Abstract:What does it mean to recognize something as a work of art? In this paper, I approach the question, first, through a discussion of Stanley Cavell's likening of the recognition of artworks to the recognition of persons; and, second, through a discussion of the tendency, especially during the artistic period of Modernism, to compare artworks not to persons but to monsters. My claim is that, far from contradicting Cavell's insight, the comparison of artworks to monsters sheds light on the structure (...) of aesthetic recognition as Cavell correctly understands it. (shrink)

The author aims at defining the borderlines of the concept “rule of law.” This has been often inflated to encompass several dimensions of an ideal legal order. The author on the contrary believes that the “rule of law” ought to be a “thin” ideal. As a matter of fact, when the “rule of law” signifies almost any dimension of an ideal legal order, it comes to stand for nothing essential in particular. Deflation is then advocated for the rehabilitation of the (...) normative content of the “rule of law.” This means that the “rule of law” should be defined as a concept covering only some well delimited dimensions of an ideal legal order. (shrink)

The purpose here is to recall the diversity of our experience, particularly the archaic experience, of what is divine, through Motoori Norinaga and Martin Heidegger and their considerations of the archaic notions of kami and daimōn. Using their insights and other sources also becomes a means for reconfiguring our understanding of philosophy of religion as a thinking that enacts what it is about, drawing no hard and fast distinctions between thinking and practice, in the hope of seeing religion as (...) it is. (shrink)

Most models of computer programming explain the programmer's behaviour by a single design strategy. This article presents a cognitive architecture that uses cue‐based search to model multiple design strategies including procedural, functional, means‐end or focal, and opportunistic design. The model has been implemented in an artificial intelligence (AI) system that generates Pascal programs from English specifications.Knowledge is represented as nodes that reside in internal or external memory, where a node encodes an action that may range from a line of (...) code to a routine in size. A program is built by linking nodes through a search cue of the form. The cue is broadcast to memory, and any matching node is returned; the cue provides a question to ask, and the return provides the answer. A cue on the newly linked node is then selected as a new focus, and the search process repeated. Each design strategy defines a specific node visiting order that traverses the program structure through its links. (shrink)

Bill New's (1999) thoughtful paper has performed the valuable service of clarifying the meaning and the policy implications of paternalism. His careful formulation delimits the domain of justified state paternalism. Having argued successfully, in our view, for a narrow ambit, New proceeds to identify situations that justify paternalism. This comment is written in the spirit of a friendly reformulation that refines and improves the specification of when paternalism is justified. Our argument is two-fold. First, we argue that New's formulation, properly (...) understood, will not readily permit the paternalistic interventions he argues are justified. Second, we identify a class of potentially justified interventions that have paternalistic aspects, but which are neither strictly paternalistic nor market-failure remedies. (shrink)

The purpose of this article is to integrate two outstanding problems within the philosophy of science. The first concerns what role aesthetics plays in scientific thinking. The second is the problem of how logically testable ideas are generated (the so-called "psychology of research" versus "logic of (dis)proof" problem). I argue that aesthetic sensibility is the basis for what scientists often call intuition, and that intuition in turn embodies (in a literal physiological sense) ways of thinking that have their own meta-logic. (...) Thus, aesthetics is a form of cognition. Scientists think not in equations or words or other logical abstractions, but emotionally and sensually, using visual and aural images, kinesthetic and other proprioceptive feelings, sensations, patterns, and analogies. These aesthetic forms of thinking have their own logics that I call "synosia", from the root words synaesthesia (a combining of senses) and gnosis, "to know". Synosia denotes understanding that integrates feeling that one knows with feeling what one knows. Eminent scientists universally describe an explicitly secondary process in which such personal knowledge must be "translated" into a formal language, such as words or equations, in order to be communicated to other people. Many of the unsolved problems that philosophers of science (as well as psychologists and artificial intelligence researchers) have had in making sense of scientific thinking have arisen from confusing the form and content of the final translations with the hidden means by which scientific insights are actually achieved. (shrink)

Racially disparate policing, prosecution, and punishment harm individuals, families, and communities. These practices must be understood within the context of the development of the criminal legal system as a means of racialized social control. This context permits a critical examination of the way criminalization has been and is still deployed to subject poor and racialized communities to systemic injustices. This commentary frames a call for interventions to integrate a health justice approach to ensure that they advance racial and health (...) equity to promote the well-being of individuals, families, and communities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Introduction VIOLENCE AND INSTITUTION IN CHRISTIANITY Robert J. Daly, SJ. Boston College We need both to define our terms and to indicate whether we are using them in a normative or descriptive sense. Thus the question: "Is Christianity"—or, if you will—"Are the institutions of Christianity violent or nonviolent?" can be answered with either a Yes, or a No, or with anything in between, depending on the meaning we (...) attach to theterms "violence," "institution," and "Christianity" (Daly 1997, 321-43). When we speak normatively, or take Christianity and its institutions accordingto its best ideals, Christianity isessentially nonviolent. But when we speak descriptively, i.e., take Christianity according to what the institutions ofChristianity have actually done, and according to how those who call themselves Christian have actually acted, we can make the argument that Christianity is violent, ffanalogous distinctions can be made from within the other four traditions, this might offer a good starting point for discussion. Adapting to my purpose standard dictionary definitions, I understand violence to include in a broad way the justified or unjustified human exertion of internal or external power or force in order to achieve an injurious or abusive end, i.e., an end that is against the will, the good, or the interests of those who suffer it. (This includes all war and avoids, at least at the outset, arguments about whether a war is or can be a "just war.") I understand institution in its ordinary meaning of: any significant or established practice, relationship, structure, system, or organization in a society or culture. I understand Christianity also in its ordinary sense: the Roberti. Daly, SJ.5 religion which, derived from Jesus Christ, and based on the Bible, is professed by Eastern, Roman Catholic, and Protestant bodies. Now, to help set the background for our discussion, I will try to list and briefly describe, relative to this theme, some of the major aspects or "moments" of Christianity (or Christian History), and do this in an approximately diachronic or chronological order. Much of this will be descriptive, but I will not go out of my way to dissociate the descriptions from the effects of all normative claims. I.Violence and Institution in the History of Christianity [1] The biblical foundation of Christianity in the Hebrew Scriptures. [2]The pervasiveness of violence in the Bible. [3]The Christian Scriptures present themselves as a gospel of peace. [4]Jesus and nonviolence. [5]Early Christians and nonviolence. [6]The early Christians and the military. [7]The "Constantinian turn." [8]Caesaro-papism. [9]The relegation ofChristian pacifism to religious and monastic life. [10]The just war theory. [11]The medieval Christian taken-for-grantedness of violence. [12]The Crusades. [13]Medieval Christian peace movements [14]Christians and heretics. The Inquisition. See [11] above. [1 5]Christianity and the witches. See [U] above. [16]The Reformation. [17]The Radical Reformation and the Peace Churches. [18]St. Bartholomew's Day Massacre (August 1572). [19]The religious wars. [20]Absolutism. [21]Modernity. [22]The Quakers—Religious Society of Friends. [23]The Enlightenment and Modernity. [24]Christianity and world mission; Christianity and colonialism. [25]Slavery. [26]Christianity and the "war" against native cultures. [27]Christianity and the First World War. [28]The Second World War. [29]The Holocaust. 6 Violence and Institution in Christianity [30]Christianity and the modern peace movement. [31]Christians and the "seamless ethic of life." [32]Christianity and International Communism. [33]Liberation theology. [34]The liberation of women. [35]Christianity and the resurgence of tribal and nationalist violence. [36]Christianity and human rights. [1] The biblical foundation of Christianity in the Hebrew Scriptures. Christians and Jews have the same family origins. Since believing Christians no less than believing Jews accept and revere the Hebrew Scriptures as the inspired word of God, Christians and Jews are indeed, to paraphrase Pope John XXIII, siblings. There is, beyond this, fromJudaism to Christianity, a significant parent-child relationship. In recent years (but not early enough to have prevented the Holocaust), the main line churches ofChristianity have rejected the supersessionism (the doctrine that the Old Testament has been abrogated by the New Testament) that used to characterize Christian attitudes towards the Jews and that... (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense.] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics and there are many new abstractions from advances in mathematics. Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense.] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics and there are many new abstractions from advances in mathematics. Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense.] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics and there are many new abstractions from advances in mathematics. Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the (...) statement relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

Formal axiology is based on the logical nature of meaning, namely intension, and on the structure of intension as a set of predicates. It applies set theory to this set of predicates. Set theory is a certain kind of mathematics that deals with subsets in general, and of finite and infinite sets in particular. Since mathematics is objective and a priori, formal axiology is an objective and a priori science; and a test based on it is an objective test based (...) on an objective standard.1. (shrink)

Among moral attributes true virtue alone is sublime. … [I]t is only by means of this idea [of virtue] that any judgment as to moral worth or its opposite is possible. … Everything good that is not based on a morally good disposition … is nothing but pretence and glittering misery. 1.

Psychopathy is associated with a deficit in affective processes and might be reflected in the inability to extract the emotional content of a stimulus. Across two experiments, we measured the interference effect from emotional images that were irrelevant to the processing of simultaneous target stimuli and examined if this interference was moderated by psychometrically defined traits of psychopathy. In Experiment 1, we showed this emotional distraction effect was reduced as a function of psychopathic traits related to cold-heartedness and occurred for (...) both positively- and negatively-valenced images. Experiment 2 attempted to test the automaticity of the effects by presenting the emotional stimuli briefly so that the emotion was difficult to report. Again, high visibility images produced strong effects that were moderated by the cold-heatedness/meanness traits of psychopathy, but the low-visibility images did not evoke the emotional distractor effect. Our results strongly support the notion that psychopathic traits related to cold-heartedness/meanness are associated with an inability to automatically process the emotional content of images. (shrink)

The recent `religious turn' within Locke scholarship has stressed the need to understand his theological commitments when approaching his political thought. One area of interpretation that has been completely transformed by this heightened sensitivity to the religious roots of Locke's thought is his account of property ownership which, it is claimed, contains a `right to charity' — a subsistence entitlement that trumps established ownership rights. However, this increasingly accepted interpretive claim has been made without significant attention to the way in (...) which charity is deployed throughout Locke's writing. The aim of this article is to try and get to grips with Locke's various usages of the term and determine whether the concept he deploys is a consistent one. After discussion of the uncertain role charity plays in his account of property, we examine how it is defined in the Essay Concerning Human /nderstanding, and then turn to the crucial position it occupies in his theological corpus. Though Locke's understanding of charity seems fraught with ambiguities, the reason for these ambiguities relate to his configuration of charity as a disposition rather than a mere act , a configuration linked inextricably to his account of toleration. (shrink)

The problem of this dissertation is to answer the question, "What is the meaning of person in George Holmes Howison's philosophy?" The statement of the problem in a simple question is deceptive if it creates the illusion that the question can be answered as simply as it is asked or the problem solved as easily as it is stated. Depending on the position a problem has in relation to a man's whole philosophical outlook, the solution of the problem will demand (...) exposition of more or less of the man's philosophy. Our problem is central to Howison's philosophy. All of Howison's philosophy can be best understood in relation to his concept of person; without an understanding of his concept of person, none of his philosophy is comprehensible. Though Howison's concept of person might be indicated by extracting a description of person from one of Howison's writings, very little of his philosophy of person would be revealed by isolating such a description from the rest of his thought. To grasp Howison's concept of person is to see his notion of person as part of a whole, indeed as the core and center of all of his thinking. To see Howison's concept of person in relation to his philosophy of freedom, morality, death, immortality, eternity, God and community is to begin to grasp both the profundity and uniqueness of Howison's thinking. (shrink)